proofs as terms - pogi-log